badpublic is package{
  type P is P{A has type string; B has type integer};
  
  XX is P{ A is "alpha"; B is 23;  C() is "wrong" }
}
   